Revision: tla-tools--devo--0--patch-29
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Fri Feb 20 09:27:34 JST 2004
Standard-date: 2004-02-20 00:27:34 GMT
Modified-files: tagline-funs.awk
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-29
Summary: Make file_tagline_type work correctly on filenames with a directory

Specifically, when looking for a header, use the full filename not the
basename to open the file.

Thanks to Michael Teichgräber <mt@wmipf.in-berlin.de>.
